#ifndef __ARM_DRV_TIMER__
#define __ARM_DRV_TIMER__

#include "main.h"


INT4 fileOpen(const CHR *);
INT4 fileWrite(const CHR *);
INT4 fileRead(UINT1 *, INT4);
INT4 fileClose(const CHR *);
INT4 fileState(VOID);


INT4 enableKey(VOID);
INT4 disableKey(VOID);

#endif //__ARM_DRV_TIMER__


